"John C. Crossley" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963 (Studies in Logic and the Foundations of Mathematics, 40)

John N. Crossley, Michael Dummett (editors)

Категория: Образование

10.46 Mb

#2

Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963 (Studies in Logic and the Foundations of Mathematics, 40)

John N. Crossley, Michael Dummett (editors)

4.16 Mb

#3

Growing Ideas of Number (The Emergence of Number)

John N. Crossley

4.07 Mb

#4

Introduction to commercial and entrepreneurial recreation

John C. Crossley, Lynn Marie Jamieson

1.17 Mb

#5

After Habermas: New Perspectives on the Public Sphere (Sociological Review Monographs)

Nick Crossley, John Michael Roberts

Категория: Искусство, Графические виды искусства

916 Kb

#6

Sets, Models and Recursion Theory: Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965.

John N. Crossley

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.14 Mb

#7

Adapting Proofs-as-Programs: The Curry-Howard Protocol

Iman Poernomo, John N. Crossley, Martin Wirsing

4.66 Mb

#8

Adapting proofs-as-programs

Iman Poernomo, John N. Crossley, Martin Wirsing

2.25 Mb

#9

Adapting Proofs-as-Programs : The Curry-Howard Protocol (Monographs in Computer Science)

Iman Poernomo, John N. Crossley, Martin Wirsing

1.53 Mb

#10

Constructive Order Types

John N. Crossley

6.35 Mb

#11

Sets, Models and Recursion Theory: Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium Leicester, August-September 1965

John N. Crossley

4.74 Mb